Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
941	Efficient Multiparty Protocols via Log-Depth Threshold Formulae Gil Cohen∗ Ivan Bjerre Damg˚ ard† Yuval Ishai‡ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-08-07 04:07:04 Secure two-party computation Communications protocol Secret sharing Transmission Control Protocol Information-theoretic security IP Computational complexity theory Zero-knowledge proof PP Cryptography Cryptographic protocols Secure multi-party computation
942	Joint Review of1 Computational Complexity: A Conceptual Perspective by Oded Goldreich Published by Cambridge University Press, [removed]pages, Hardcover and Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-09-24 20:19:20 Complexity classes Probabilistic complexity theory Structural complexity theory Models of computation Pseudorandom generator Probabilistically checkable proof NP P versus NP problem Bounded-error probabilistic polynomial Theoretical computer science Computational complexity theory Applied mathematics
943	Speculative Reduction-Based Scalable Redundancy Identification Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-05-13 19:49:55 Applied mathematics Theoretical computer science Logic Electronic design automation Mathematical induction Proof theory Mathematical proof Formal verification And-inverter graph Mathematics Mathematical logic Formal methods
944	A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA [removed], WWW home page: http://cs.utexas.edu/users/moore Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-03-23 00:34:24 Automated theorem proving Formal methods Lisp programming language Model theory ACL2 Nqthm Proof assistant Formal verification J Strother Moore Logic Mathematics Theoretical computer science
945	return to updates Diatomic Hydrogen by Miles Mathis As further proof of my new theory of charge field bonding—replacing the absurd theory of covalent bonding—let us now look closely at hydrogen gas, which is diatomi Add to Reading List Source URL: milesmathis.com Language: English - Date: 2012-12-19 22:24:27 Charge carriers Quantum chemistry Introductory physics Atomic physics Electron Hydrogen Chemical bond Spin isomers of hydrogen Proton Physics Chemistry Spintronics
946	Hindawi Publishing Corporation Modelling and Simulation in Engineering Volume 2012, Article ID[removed], 17 pages doi:[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-05-08 04:27:49 Mathematics Mathematical analysis Proof theory Logic Isotope lists 73-96 Exponential distribution Exponentials Ordinal number
947	Modal logics for communicating rule-based agents Natasha Alechina and Mark Jago and Brian Logan1 Abstract. In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for mul Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-08-16 14:42:18 Symbol Epistemic modal logic Modal logic Proof theory Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
948	A short proof of the logarithmic Bramson correction in Fisher-KPP equations Fran¸cois Hamel∗ James Nolen† Add to Reading List Source URL: math.duke.edu Language: English - Date: 2012-05-07 08:57:26 Operator theory Reaction–diffusion system Ordinary differential equations Spectral theory Itō diffusion Spectral theory of ordinary differential equations Mathematical analysis Heat equation Heat transfer
949	Axioms is a work that explores the true nature of human knowledge, in particular the fundamental nature of deductive and inductive reasoning. It begins by embracing Hume’s Skepticism and Descartes’ one “certain” Add to Reading List Source URL: www.phy.duke.edu Language: English - Date: 2010-01-21 13:11:39 Philosophy of mathematics Mathematical logic Philosophy of science Scientific method Axiom Formalism Set theory Modal logic Mathematical proof Mathematics Science Logic
950	14 Notre Dame Journal of Formal Logic Volume 31, Number 1, Winter 1990 Linear Logic Displayed NUEL BELNAP Add to Reading List Source URL: www.pitt.edu Language: English - Date: 2011-02-14 12:57:38 Proof theory Substructural logic Logic in computer science Philosophical logic Linear logic Intuitionistic logic Axiom Sequent calculus Negation Logic Mathematical logic Non-classical logic